/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#4=NGB25
␈↓ ↓H␈↓∧␈↓ ¬X846 Lathrop Drive
␈↓ ↓H␈↓∧␈↓ ¬'Stanford, California 94305
␈↓ ↓H␈↓∧Telephone 415 321-7580␈↓ 	ISeptember 27, 1979




␈↓ ↓H␈↓Professor John Miller
␈↓ ↓H␈↓School of Mathematics
␈↓ ↓H␈↓Trinity College
␈↓ ↓H␈↓University of Dublin
␈↓ ↓H␈↓Dublin 2
␈↓ ↓H␈↓IRELAND

␈↓ ↓H␈↓Dear John,

␈↓ ↓H␈↓        It␈αlooks␈αlike␈αan␈αopportunity␈αto␈αvisit␈αDublin␈αand␈αbrie∨y␈αrenew␈αour␈αacquaintance␈αis␈α≡nally␈αat
␈↓ ↓H␈↓hand␈α
after␈α
all␈α
these␈α
years.␈α
 I␈αplan␈α
to␈α
arrive␈α
on␈α
Friday␈α
October␈α26␈α
on␈α
Aer␈α
Lingus␈α
161␈α
at␈α255pm
␈↓ ↓H␈↓from␈αLondon␈αand␈αleave␈αon␈αTuesday␈αOctober␈α30␈αon␈αAer␈αLingus␈α105␈αat␈α1230pm␈αfor␈αNew␈αYork.␈α I
␈↓ ↓H␈↓will␈α∞be␈α∞coming␈α∞from␈α∞Israel␈α∞where␈α∞I␈α∞am␈α∂taking␈α∞part␈α∞in␈α∞a␈α∞symposium␈α∞and␈α∞leaving␈α∞for␈α∂the␈α∞ACM
␈↓ ↓H␈↓meeting in Detroit.

␈↓ ↓H␈↓        Since␈α
we␈α
last␈αcorresponded,␈α
a␈α
lot␈αhas␈α
happened.␈α
 I␈αremarried␈α
three␈α
years␈αago,␈α
but␈α
my␈αwife
␈↓ ↓H␈↓Vera␈αwas␈αkilled␈αin␈αa␈αmountaineering␈αaccident␈αin␈αNepal␈αlast␈αyear.␈α I␈αwill␈αbe␈αgetting␈αmarried␈αagain
␈↓ ↓H␈↓next␈α∞year␈α∞to␈α∞a␈α∞computer␈α∞scientist␈α∞Carolyn␈α∞Talcott␈α∞with␈α∞whom␈α∞I␈α∞am␈α∞collaborating␈α∞on␈α∞a␈α∞book␈α∞on
␈↓ ↓H␈↓LISP.

␈↓ ↓H␈↓        This␈αyear␈αI␈αam␈αon␈αleave␈αat␈αthe␈αCenter␈αfor␈αAdvanced␈αStudies␈αin␈αthe␈αBehavioral␈αSciences␈αat
␈↓ ↓H␈↓Stanford,␈α∩where␈α∩a␈α∩group␈α∩of␈α∩six␈α∩are␈α∩studying␈α∩the␈α∩relations␈α∩between␈α∩arti≡cial␈α∩intelligence␈α⊃and
␈↓ ↓H␈↓philosophy.␈α
 We␈α∞are␈α
all␈α∞enjoying␈α
it,␈α∞but␈α
it␈α
remains␈α∞to␈α
be␈α∞seen␈α
whether␈α∞the␈α
collaboration␈α∞will␈α
be
␈↓ ↓H␈↓fruitful for either side.

␈↓ ↓H␈↓        If␈α
there␈α
is␈α
interest,␈α
and␈α
if␈α
it␈α
≡ts␈αinto␈α
the␈α
academic␈α
schedule,␈α
I␈α
could␈α
give␈α
a␈α
talk␈αentitled,␈α
"Two
␈↓ ↓H␈↓ways␈α
of␈α
expressing␈α
programs␈α
in␈α
≡rst␈α
order␈α
logic".␈α
 It␈α
is␈α
concerned␈α
with␈α
proving␈α
that␈αprograms␈α
meet
␈↓ ↓H␈↓their speci≡cations.  Presumably Monday would be the only possible time for a lecture.

␈↓ ↓H␈↓        I am looking forward to meeting you and your wife Mary and some of my relatives.

␈↓ ↓H␈↓␈↓ ε8Best Regards to all,



␈↓ ↓H␈↓␈↓ ε8John McCarthy